Taxing Facebook Code: Debugging the Tax Code and Software
نویسندگان
چکیده
منابع مشابه
Arbitrage and the Tax Code * Arbitrage and the Tax Code
We study the no arbitrage characterization of asset prices in the presence of capital gains and income taxes. The distinguishing feature of our analysis is that we impose on the model two important features of the tax code that have received little attention in the academic literature: the limited use of capital losses and the inability to wash sell. We show that under remarkably mild condition...
متن کاملSoftware Profiling for Deterministic Replay Debugging of User Code
Significant time is spent by companies in trying to reproduce and fix bugs in their software. The process of testing and debugging can immensely benefit from a tool that supports Deterministic Replay Debugging (DRD). A tool that supports DRD will allow a user to record a program’s execution in a log, and to deterministically replay every single instruction executed as part of the application us...
متن کاملScaffolding Tax Professionals Using the Original Tax Code
The original tax code is the principal source of law. However, because of its enormous size and complexity, most tax professionals rely on secondary sources, which are not accepted as authoritative sources by the Internal Revenue Service (IRS) or the courts. To remedy this situation, either the original tax code (IRC) needs to be vastly simplified or a possibly intelligent user interface to the...
متن کاملFault Detection in Software Code Fault Detection in Software Code
Inspections and testing are two fault detection techniques used to find faults in software programs. In the area of cognitive science, testing is often referred to as debugging, which also could consist of finding faults after compiling. In this report debugging is used as the technique to find faults when one knows that a fault exists in the program. The debugging strategy is often preceeded b...
متن کاملDebugging Program Code Using Implicative Dependencies
Based on the technique for finding errors in new object intents a method of debugging source code is presented. This method is capable of finding strict implicative dependencies between lines of source code covered in successful and failed runs. The output is a logical expression. Using the new method it is possible to come closer to debugging programs on a logical level not checking executions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2012
ISSN: 1556-5068
DOI: 10.2139/ssrn.2005744